execution endの例文

• A liveness property cannot be violated in a finite execution of a distributed system because the " good " event might only theoretically occur at some time after execution ends.